Rama de la informática que estudia las bases teóricas de la información y la computación, así como su aplicación en sistemas computacionales.
